A Better Composition Operator for Quantitative Information Flow Analyses
نویسنده
چکیده
Given a description of the quantitative information flow (qif) for components, how can we determine the qif of a system composed from components? We explore this fundamental question mathematically and provide an answer based on a new composition operator. We investigate its properties and prove that it generalises existing composition operators. We illustrate the results with a fresh look on Chaum’s dining cryptographers. We show that the new operator enjoys various convenient algebraic properties and that it is well-behaved under composition refinement.
منابع مشابه
Optimized Method for Reticulocyte Counting: Simple, Accurate, and Comparable to Flow Cytometry
Background: Reticulocytes are immature red blood cells with RNA, spending the final stages of their maturation in the peripheral blood. The number of reticulocytes in the peripheral blood is the salient evidence of the effectiveness of bone marrow to produce red blood cells. Currently, reticulocyte count is done manually or automatically in clinical laboratories. Difficulties and limitations of...
متن کاملInvestigation on Applicability of Information Theory to Prediction of Operator Performance in Diagnosis Tasks at Nuclear Power Plants
This paper investigates the applicability of information theory to predicting operator performance in diagnosis tasks at nuclear power plants (NPPs). Some general descriptions about diagnosis tasks in a main control room (MCR) are provided and information theory conventionally used in the studies of human information processing is briefly reviewed. Then, as an alternative to classical informati...
متن کاملBilateral composition operators on vector-valued Hardy spaces
Let $T$ be a bounded operator on the Banach space $X$ and $ph$ be an analytic self-map of the unit disk $Bbb{D}$. We investigate some operator theoretic properties of bilateral composition operator $C_{ph, T}: f ri T circ f circ ph$ on the vector-valued Hardy space $H^p(X)$ for $1 leq p leq +infty$. Compactness and weak compactness of $C_{ph, T}$ on $H^p(X)$ are characterized an...
متن کاملMulti-objective Differential Evolution for the Flow shop Scheduling Problem with a Modified Learning Effect
This paper proposes an effective multi-objective differential evolution algorithm (MDES) to solve a permutation flow shop scheduling problem (PFSSP) with modified Dejong's learning effect. The proposed algorithm combines the basic differential evolution (DE) with local search and borrows the selection operator from NSGA-II to improve the general performance. First the problem is encoded with a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017